ICSMap: An ICS Scanning Tool Based on Stateless Connections

Stateless connections

We describe a secure transformation of stateful connections or parts of them into stateless ones by attaching the state information to the messages. Secret-key cryptography is used for protection of integrity and con dentiality of the state data and the connections. The stateless protocols created in this way are more robust against denial of service resulting from high loads and resource exhau...

ICS: Integrated Canonizer and Solver (Tool Presentation)

Improving Stateless Hash-Based Signatures

We present several optimizations to SPHINCS, a stateless hash-based signature scheme proposed by Bernstein et al. in 2015: PORS, a more secure variant of the HORS few-time signature scheme used in SPHINCS; secret key caching, to speed-up signing and reduce signature size; batch signing, to amortize signature time and reduce signature size when signing multiple messages at once; mask-less constr...

On Stateless Multicounter Machines

We investigate the computing power of stateless multicounter machines with reversal-bounded counters. Such a machine has m-counters and it operates on a one-way input delimited by left and right end markers. The move of the machine depends only on the symbol under the input head and the signs of the counters (zero or positive). At each step, every counter can be incremented by 1, decremented by...

Clustering-Based Production-Line Binning of ICs Based on IDDQ

A clustering-based technique is proposed for production line testing and real time binning of ICs. This paper presents a two-phase approach. The first phase involves off-line clustering and cluster characterization based on prior data. In the second phase, each device is sorted based on its quality attributes, into bins associated with specific quality and cost parameters. This allows fast real...